Mixed Control/data-flow Representation for Modelling and Verification of Embedded Systems

نویسنده

  • Mauricio Varea
چکیده

FACULTY OF ENGINEERING ELECTRONICS AND COMPUTER SCIENCE DEPARTMENT MPhil/PhD Transfer Report Mixed Control/Data-Flow Representation for Modelling and Verification of Embedded Systems

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modelling and verification of embedded systems based on Petri net oriented representations

FACULTY OF ENGINEERING ELECTRONICS AND COMPUTER SCIENCE DEPARTMENT Doctor of Philosophy MODELLING AND VERIFICATION OF EMBEDDED SYSTEMS BASED ON PETRI NET ORIENTED REPRESENTATIONS by Mauricio Varea Driven by the demand for more functionality, the complexity involved in the design of embedded systems continues to increase. This has lead to a progressive increase in the amount of control and data ...

متن کامل

Embedded Systems Modelling and Validation based on Extended Petri Nets

Embedded Systems are inherently heterogeneous. Thus, a model with a variety of perspectives for the representation of the embedded system functionality is of major interest in the design methodology. The underlying heterogeneity of an embedded system specification comes from (a) the existence of a mixed hardware/software structure for efficiently meeting the designer constraints and (b) the nee...

متن کامل

Conceptual Design for Controller software of mechatronic systems

The method and software tool presented here, aims at supporting the development of control software for mechatronic systems. Heterogeneous distributed embedded processors are considered as target hardware. Principles of the method are that the implementation process is a stepwise refinement from control laws to efficient computer code and that all phases are verified by simulation. Simulation i...

متن کامل

A Taxonomy of Modelling Decisions for Embedded Systems Verification

During model construction a number of decisions has to be taken. Often, decisions remain implicit, which has consequences for the correct interpretation of the model, and provides a source of miscommunication between different stakeholders and domain experts. We present a taxonomy of decisions guiding the modelling process and helping to distinguish, document and order the choices and assumptio...

متن کامل

Simultaneous production planning and scheduling in a hybrid flow shop with time periods and work shifts

Simultaneous production planning and scheduling has been identified as one of the most important factors that affect the efficient implementation of planning and scheduling operations for the production systems. In this paper, simultaneous production planning and scheduling is applied in a hybrid flow shop environment, which has numerous applications in real industrial settings. In this problem...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002